2

Automation of printed-circuit design

Year:
1974
Language:
english
File:
PDF, 669 KB
english, 1974
4

Program testing technology based on specification language

Year:
1990
Language:
english
File:
PDF, 581 KB
english, 1990
5

Automatic generation of computer circuit tests

Year:
1976
Language:
english
File:
PDF, 646 KB
english, 1976
6

Tabular programs and discrete transformations. II

Year:
1978
Language:
english
File:
PDF, 732 KB
english, 1978
8

An approach to the design of microprogram assists

Year:
1989
Language:
english
File:
PDF, 785 KB
english, 1989
13

Tabular programs and discrete transducers. I

Year:
1978
Language:
english
File:
PDF, 719 KB
english, 1978
14

Optimization of cycle-free automata with a terminal state

Year:
1967
Language:
english
File:
PDF, 833 KB
english, 1967
15

On languages in countably generated semilattices

Year:
1996
Language:
english
File:
PDF, 159 KB
english, 1996
16

Parallelization of automata

Year:
1998
Language:
english
File:
PDF, 684 KB
english, 1998
17

Equivalence of two-dimensional multitape automata

Year:
2008
Language:
english
File:
PDF, 206 KB
english, 2008